menushell: Remove unused header
authorBenjamin Otte <otte@redhat.com>
Tue, 26 Mar 2013 12:15:20 +0000 (13:15 +0100)
committerBenjamin Otte <otte@redhat.com>
Thu, 28 Mar 2013 22:18:58 +0000 (23:18 +0100)
commitd20ac0acf930ce329235b6c002bb481d4ab842d7
tree56af9471dfd4433dc358a32efda9e16c3a2e223e
parent436af3fcb5455891b366c655d8cb4ee3546a59d6
menushell: Remove unused header
gtk/gtkmenushell.c